An Industrial Application of Modal Process Logic

نویسنده

  • Glenn Bruns
چکیده

Modal process logic is an extension of CCS that allows for more expressive specifications. We show how modal process logic was successfully applied in the development of a failure recovery protocol for an air-traffic information system now in service at Heathrow airport. Two example systems are used to show that CCS itself was not suitable for this application.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Assessment of Critical Fire Risks in an Industrial Estate Using a Combination of Fuzzy Logic, Expert Elicitation, Bow-tie, and Monte Carlo Methods

Background and Objective: Industrial estates have been described as highly prone to fire incidents. According to the baseline studies, more than 85% of the industrial accidents occurring in industrial estates during the 80s and 90s were fire incidents affecting more than one factory in 10% of the cases.   Materials and Methods: After the identification of 30 high-risk industries in Abbasabad i...

متن کامل

Suhrawardi's Modal Syllogisms

Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...

متن کامل

Modal Decomposition of a Nonlinear Tubular Reactor Model : a Control Perspective

This paper focuses on the application of modal decomposition to a nonlinear convection-reaction-diffusion distributed parameter system (DPS). More precisely it will concentrate on the dynamical model of an industrial pulp bleaching tubular reactor described by nonlinear partial differential equations (PDEs). The objective of the modal decomposition is to generate, for control design, a discreti...

متن کامل

Challenges in Mobile Multimodal Application Architecture

The multimodal application had been considered for promising mobile applications in early 2000. An industrial forum terminated its 7-year effort to make standardization of mobile multi-modal applications. Many researchers and industrial players still think mobile multimodal applications as rich opportunities of new services. The author attempts to analyze the gap between these two different asp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Sci. Comput. Program.

دوره 29  شماره 

صفحات  -

تاریخ انتشار 1997